System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
821	Types and Programming Languages Benjamin C. Pierce The MIT Press Cambridge, Massachusetts Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-01 23:40:16 Computing Data types Polymorphism Object-oriented programming Lambda calculus Subtype polymorphism Type system System F Simply typed lambda calculus Software engineering Type theory Programming language theory
822	A Machine-Independent Port of the MPD Language Run Time System to NetBSD Operating System Ignatios Souvatzis University of Bonn, Computer Science Department, Chair V 20th October 2005 Add to Reading List Source URL: theory.cs.uni-bonn.de Language: English - Date: 2005-11-29 08:40:48 Control flow Setcontext Threads Unix NetBSD MPD SR Computing Computer programming Software engineering
823	STATEMENT OF ORGANIZATION FEC FORM 1 Add to Reading List Source URL: 2008election.procon.org Language: English - Date: 2009-04-27 13:35:27 ZIP code Computing C Software engineering Federal Reserve System Programming language theory Postal system Address Human geography
824	The CRISP Programming Language System An Historical Overview Jeffrey A. Barnett Albuquerque Retired Citizens September 20, 2009 Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2010-07-24 18:44:10 Lisp programming language Procedural programming languages Functional languages Lisp LISP 2 Identifier Namespace Information Processing Language Symbol Software engineering Computer programming Computing
825	II: The Infospheres Infrastructure User Guide1 K. Mani Chandy, Joseph Kiniry, Adam Rifkin, and Daniel Zimmerman Computer Science[removed]California Institute of Technology Pasadena, California 91125 Add to Reading List Source URL: faculty.washington.edu Language: English - Date: 2012-05-31 09:04:53 Java programming language Java Computing platform Windows NT 4.0 Operating system Computing Cross-platform software Java platform
826	The FRANZ LISP Manual by John K. Foderaro Keith L. Sklower Kevin Layer Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2010-12-02 20:19:46 Lisp programming language Lisp Symbol Common Lisp Object System Maclisp Eval Information Processing Language Cons Arbitrary-precision arithmetic Computing Software engineering Computer programming
827	COGNITIVE AND INSTRUCTIONAL SCIENCES SERIES CIS.5 (SSL[removed]Revised Papers on interlisp-D CONTRIBUTlONS BY Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2010-03-13 20:10:51 Lisp programming language Functional languages Computer workstations Interlisp Common Lisp Lisp machine Lisp Common Lisp Object System Xerox Alto Computing Software engineering Computer programming
828	Integrated C Development System For Rabbit Microprocessors Function Reference Manual 019–0113_N Add to Reading List Source URL: ftp1.digi.com Language: English - Date: 2010-11-10 12:17:58 C programming language C standard library Setjmp.h C Io Static library Software engineering Computing Computer programming
829	Qualified Types for ML-F Daan Leijen and Andres L¨oh 27 September 2005 Motivation / contribution Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computing Type inference Type system ML Hindley–Milner Type class Id Haskell Polymorphism Software engineering Type theory Programming language theory
830	Erlang/OTP System Documentation Copyright © [removed]Ericsson AB. All Rights Reserved. Erlang/OTP System Documentation[removed]April[removed] Copyright © [removed]Ericsson AB. All Rights Reserved. Add to Reading List Source URL: www.erlang.org Language: English Cross-platform software Ericsson Erlang Erlang programming language Linux Autoconf Opa Debian Software Computing System software

UPDATE